/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2018-2019.
 * Description: add rtos boot timestamp support
 * Author: dongkai <dongkai11@huawei.com>
 * Create: 2018-10-10
 */

#ifndef ARM_HAL_BOOT_TIMESTAMP
#define ARM_HAL_BOOT_TIMESTAMP
extern void get_initrd_start_time(void);
extern void get_initrd_end_time(void);
extern void print_boot_timestamp(void);
extern unsigned long long boot_start_time;
#endif
